Compendium Deluxe 1/LSD Compendium Deluxe 1.iso/a/programming/misc/ada1110b.lha/Examples/Dine/chopspec.ada

Text File | 1992-03-02 | 298 b | 12 lines

PACKAGE Chop IS
-- Specification for a chopstick task, intended for use with
-- dining philosophers. It is really just a binary semaphore.
-- Michael B. Feldman, The George Washington University, November 1990.

  TASK TYPE Stick IS
    ENTRY Pick_Up;
    ENTRY Put_Down;
  END Stick;

END Chop;